Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
👑Isabelle
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ing·11h
🏺ZIP Archaeology
Need to sanity check my backup plan before I implement it
youtube.com·2d·
Discuss: r/homelab
💿Backup Strategies
An enough week
blog.mitrichev.ch·23h·
🧮Z3 Solver
New Articles: Journal of Contemporary Archival Studies
archivespublishing.com·1d
⚖️Archive Ethics
XProc 3 Steps as XSpec Test Helper Functions
medium.com·2h
🔀XSLT
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🌊Streaming Systems
A disenshittification moment from the land of mass storage
doctorow.medium.com·7h
🧲Magnetic Philosophy
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
The Day I Hacked XCTrack
blog.syrac.org·4h·
Discuss: Hacker News
🔐PKI Archaeology
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
💎Information Crystallography
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·5h·
Discuss: DEV
📊Multi-vector RAG
Leaner, More Efficient Storage Infrastructure for the AI Era
thenewstack.io·2d
💻Local LLMs
Advancing Outlook email archiving & Digital Preservation at your organization
preservica.com·1d
🔄Archival Workflows
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·3d
🔓Decompilation
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·11h·
Discuss: Hacker News
⚙️Proof Engineering
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·21h
🔲Cellular Automata